Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2012/13)

Search: ^n

Education/MFES1213 Web Changed Changed by
NuSMV 13 Dec 2012 - 13:51 - r2 AlcinoCunha
Exercícios sobre Model Checking Instale a ferramenta de model checking NuSMV e utilize a para resolver os seguintes exercícios: 1. Verifique que o de Peterson para ...
Found 1 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM